Generating Test Cases for Cyber Physical Systems from Formal Specifications
نویسندگان
چکیده
Formal methods and testing are two important approaches that assist in the development of cyber physical systems. Formal specification can be used to assist testing and Formal methods and testing are seen as complementary. In this paper, we address the problem of generating test cases for cyber physical systems from formal specifications, and reduce an infinite set of testing parameters into a finite set.
منابع مشابه
Test Case Generation from Formal Models of Cyber Physical System
Formal methods and testing are two important approaches that assist in the development of cyber physical systems. Formal specification can be used to assist testing and Formal methods and testing are seen as complementary. In this paper, we address the problem of generating test cases for cyber physical systems from formal specifications using differential dynamic logic(DL), a logic for specify...
متن کاملA PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
This paper presents a methodology, with supporting tool, for formal modeling and analysis of software components in cyber-physical systems. Using our approach, developers can integrate a simulation of logic-based specifications of software components and Simulink models of continuous processes. The integrated simulation is useful to validate the characteristics of discrete system components ear...
متن کاملMITL Specification Debugging for Monitoring of Cyber-Physical Systems
A framework for the debugging of formal specifications for Cyber-Physical Systems is presented. Two debugging algorithms are presented. The first checks for erroneous or incomplete temporal logic specifications without considering the system. The second can be utilized for the analysis of reactive requirements with respect to system test traces. The specification debugging framework is applied ...
متن کاملConformance Testing of Cyber-Physical Systems: A Comparative Study
For systematic and automatic testing of cyber-physical systems, in which a set of test cases is generated based on a formal specification, a number of notions of conformance testing have been proposed. In this paper, we review two existing theories of conformance testing for cyber-physical systems and compare them. We point out their fundamental differences, and prove under which assumptions th...
متن کاملSeminar Announcement Link Lab
Autonomous systems are increasingly becoming a part of our daily lives. For example, we envision drones to be used in security, delivery, mapping, and surveying applications, self-driving cars to share the roadways with human-driven vehicles, and service robots to assist humans in houses, hotels, or hospitals. Such autonomous systems are enabled by the recent developments in computing, manufact...
متن کامل